1. Identity statement | |
Reference Type | Journal Article |
Site | mtc-m21b.sid.inpe.br |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identifier | 8JMKD3MGP5W34M/3GD3GHT |
Repository | sid.inpe.br/mtc-m21b/2014/05.30.02.22.37 (restricted access) |
Last Update | 2015:02.10.11.42.08 (UTC) administrator |
Metadata Repository | sid.inpe.br/mtc-m21b/2014/05.30.02.22.38 |
Metadata Last Update | 2018:06.04.03.04.14 (UTC) administrator |
DOI | 10.1007/978-3-319-04298-5-24 |
ISBN | 9783319042978 |
ISSN | 0302-9743 |
Label | scopus 2014-05 GerlingerRomeroSchnGonç:2014:InUMCo |
Citation Key | RomeroSchnFerr:2014:InUMCo |
Title | Integrating UML composite structures and fUML |
Year | 2014 |
Access Date | 2024, May 18 |
Secondary Type | PRE PI |
Number of Files | 1 |
Size | 796 KiB |
|
2. Context | |
Author | 1 Romero, Alessandro Gerlinger 2 Schneider, Klaus 3 Ferreira, Mauricio Gonçalves Vieira |
Resume Identifier | 1 2 3 8JMKD3MGP5W/3C9JHT8 |
Group | 1 CSE-ETES-SPG-INPE-MCTI-GOV-BR 2 3 CRC-CRC-INPE-MCTI-GOV-BR |
Affiliation | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Department of Computer Science, University of Kaiserslautern, Germany 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Author e-Mail Address | 1 romgerale@yahoo.com.br 2 schneider@cs.uni-kl.de 3 mauricio@ccs.inpe.br |
e-Mail Address | marcelo.pazos@inpe.br |
Journal | Lecture Notes in Computer Science |
Volume | 8327 LNCS |
Pages | 269-280 |
Secondary Mark | A1_ADMINISTRAÇÃO,_CIÊNCIAS_CONTÁBEIS_E_TURISMO A1_BIODIVERSIDADE A2_GEOGRAFIA B1_SAÚDE_COLETIVA B1_INTERDISCIPLINAR B1_CIÊNCIAS_SOCIAIS_APLICADAS_I B2_EDUCAÇÃO B2_ARQUITETURA_E_URBANISMO B3_MEDICINA_III B3_ENGENHARIAS_I B3_ENGENHARIAS_II B3_ODONTOLOGIA B3_GEOCIÊNCIAS B3_EDUCAÇÃO_FÍSICA B3_MEDICINA_I B3_MEDICINA_II B3_DIREITO B3_PSICOLOGIA B4_MATERIAIS B4_BIOTECNOLOGIA B5_MEDICINA_VETERINÁRIA B5_CIÊNCIAS_BIOLÓGICAS_I B5_CIÊNCIAS_BIOLÓGICAS_II B5_ENSINO C_ASTRONOMIA_/_FÍSICA C_CIÊNCIA_DA_COMPUTAÇÃO C_CIÊNCIAS_AGRÁRIAS_I C_ENGENHARIAS_III C_CIÊNCIAS_BIOLÓGICAS_III C_ENGENHARIAS_IV C_CIÊNCIAS_AMBIENTAIS C_MATEMÁTICA_/_PROBABILIDADE_E C_QUÍMICA |
History (UTC) | 2018-06-04 03:04:14 :: administrator -> marcelo.pazos@inpe.br :: 2014 |
|
3. Content and structure | |
Is the master or a copy? | is the master |
Content Stage | completed |
Transferable | 1 |
Content Type | External Contribution |
Version Type | publisher |
Keywords | composite structures static semantics formal analysis |
Abstract | To cope with the complexity of large systems, one usually makes use of hierarchical structures in their models. To detect and to remove design errors as soon as possible, these models must be analyzed in early stages of the development process. For example, UML models can be analyzed through simulation using the semantics of a foundational subset for executable UML models (fUML). However, the composite structures used to describe the hierarchy of systems in UML is not covered by fUML. In this paper, we therefore propose a complementary meta-model for fUML covering parts of UML's composite structures, and elaborate the rules previously defined in the literature for static semantics. These rules are described in an axiomatic way using first-order logic so that a large set of tools can be used for analysis. Our preliminary evaluation provides results about the applicability of the meta-model and the soundness of the rules. |
Area | ETES |
Arrangement 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > Integrating UML composite... |
Arrangement 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > Integrating UML composite... |
doc Directory Content | access |
source Directory Content | there are no files |
agreement Directory Content | there are no files |
|
4. Conditions of access and use | |
Language | en |
User Group | administrator marcelo.pazos@inpe.br |
Reader Group | administrator banon marcelo.pazos@inpe.br |
Visibility | shown |
Archiving Policy | denypublisher denyfinaldraft12 |
Read Permission | deny from all and allow from 150.163 |
Update Permission | not transferred |
|
5. Allied materials | |
Linking | Trabalho não Vinculado à Tese/Dissertação |
Mirror Repository | iconet.com.br/banon/2006/11.26.21.31 |
Next Higher Units | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/3F3PAJE |
Citing Item List | sid.inpe.br/bibdigital/2013/10.19.00.29 2 sid.inpe.br/bibdigital/2013/10.14.22.20 1 sid.inpe.br/mtc-m21/2012/07.13.14.56.30 1 |
Dissemination | WEBSCI; PORTALCAPES; COMPENDEX; SCOPUS. |
Host Collection | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notes | |
Empty Fields | alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel format lineage mark month nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject targetfile tertiarytype typeofwork url |
|
7. Description control | |
e-Mail (login) | marcelo.pazos@inpe.br |
update | |
|